Quantifying conformance using the Skorokhod metric

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Quantifying Conformance Using the Skorokhod Metric

The conformance testing problem for dynamical systems asks, given two dynamical models (e.g., as Simulink diagrams), whether their behaviors are “close” to each other. In the semi-formal approach to conformance testing, the two systems are simulated on a large set of tests, and a metric, defined on pairs of realvalued, real-timed trajectories, is used to determine a lower bound on the distance....

متن کامل

Quantifying Conformance using the Skorokhod Metric (full version)

The conformance testing problem for dynamical systems asks, given two dynamical models (e.g., as Simulink diagrams), whether their behaviors are “close” to each other. In the semi-formal approach to conformance testing, the two systems are simulated on a large set of tests, and a metric, defined on pairs of real-valued, real-timed trajectories, is used to determine a lower bound on the distance...

متن کامل

The missing metric: quantifying contributions of reviewers

The number of contributing reviewers often outnumbers the authors of publications. This has led to apathy towards reviewing and the conclusion that the peer-review system is broken. Given the trade-offs between submitting and reviewing manuscripts, reviewers and authors naturally want visibility for their efforts. While study after study has called for revolutionizing publication practices, the...

متن کامل

On the Skorokhod topology

Let E be a completely regular topological space. Mitoma [9 ], extending the classical case E = R 1, has recently introduced the Skorokhod topology on the space D( [0, 1 ] : E). This topology is investigated in detail. We find families of continuous functions which generate the topology, examine the structure of the Borel and Baire a-algebras of D( [0, 1 ] : E) and prove tightness criteria for E...

متن کامل

A deterministic approach to the Skorokhod problem

Abstract: We prove an existence and uniqueness result for the solutions to the Skorokhod problem on uniformly prox-regular sets through a deterministic approach. This result can be applied in order to investigate some regularity properties of the value function for differential games with reflection on the boundary.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Formal Methods in System Design

سال: 2017

ISSN: 0925-9856,1572-8102

DOI: 10.1007/s10703-016-0261-8